<html>
<body>
  Converts an expression that uses the '!!' operator to an if-then expression that throws a
  NullPointerException if the expression is null.
</body>
</html>
